lambda calculus中文是什么意思

发音:

中文翻译
造句

lambda可定义函数
Λ-递归函数
Λ演算
λ演算
无类型 lambda 演算
无类型lambda演算
演算

lambda n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕 ...
calculus n. (pl. calculuses, -li ) 1. ...
normalization property (lambda-calculus) 规范化性质
simply typed lambda calculus 简单类型 lambda 演算; 简单类型lambda演算
typed lambda calculus 有类型 lambda 演算; 有类型lambda演算
lambda n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕。 2.微升〔百万分之一升〕。 3.λ粒子( ＝ lambda particle)。
calculus n. (pl. calculuses, -li ) 1.【医学】结石，石；积石；牙垢。 2.【数学】运算，演算；微积分(学)。 calculus of finite differences 【数学】差分演算(法)，差分学。 calculus of variation 变分法[学]。 differential [integral] calculus微[积]分(学)。 urinary calculus【医学】尿结石。
bacteriophage lambda λ噬菌体
lambda (λ) 微升
lambda angle λ角
lambda bacteriophage λ噬菌体
lambda binding λ约束
lambda chain 轻链,λ链:免疫球蛋白轻链型式之一
lambda computation λ计算
lambda definition λ定义
lambda electronics 拉姆达电子公司
lambda exonuclease λ核酸外切酶
lambda expression lambda表达式; λ表达式
lambda factor λ因子
lambda hyperon λ 超子。
lambda immunoglobulin λ免疫球蛋白
lambda matrix λ矩阵
lambda notation λ记法
lambda parameter λ参数
lambda particle 拉姆达超子; 拉目达粒子; 粒子

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language
本文的特色体现在: ( 1 )提出了可以描述动态模糊性问题的演算的变形方法; ( 2 )提出了可以解决动态模糊性问题的dfl程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明; ( 3 )提出了dfl程序设计语言的基本框架结构。
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。

百科解释

Lambda calculus (also written as λ-calculus or called "the lambda calculus") is a formal system in mathematical logic and computer science for expressing computation by way of variable binding and substitution. First formulated by Alonzo Church, lambda calculus found early successes in the area of computability theory, such as a negative answer to Hilbert's Entscheidungsproblem.

详细百科解释